Alekhina M. A., Grabovskaya S. M. «On the arbitrarily reliable implementation of Boolean functions by non-branching programs with a conditional stop operator in bases with generalized conjunction» // Applied Discrete Mathematics 2019. №43 C.70-77
Grabovskaya S. M. «An upper bound for reliability of non-branching programs with an unreliable stop-operator» // Applied Discrete Mathematics. Supplement 2015. №8 C.106-108